搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

	Introduction to numerical methods for parallel computers 0 索取号：TP31/E9031 作者：Schendel、 Udo.、出版社：Chichester : E. Horwood ; New York : Wiley Halsted Press, 1984.		Applied numerical methods for the microcomputer 0 索取号：TP31/E9034 作者：Shoup、 Terry E.、 1944-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1984.
	Numerical methods, software, and analysis 0 索取号：TP31/E90138 作者：Rice、 John Rischard.、出版社：New York : McGraw-Hill, 1983.		Program evaluation : methods and case studies 0 索取号：TP31/E90155.3 作者：Posavac、 Emil J.、Carey、 Raymond G.、出版社：Englewood Cliffs, N.J. : Prentice Hall, 1989.
	Fourth-generation languages 0 索取号：TP31/E9038 作者：Martin、 James、 1933-、Leben、 Joe.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1985		Object orientation : concepts, languages, databases, user interfaces 0 索取号：TP31/E995 作者：Khoshafian、 Setrag.、Abnous、 Razmik.、出版社：New York : Wiley, 1990.
	Numerical methods and software 0 索取号：TP31/E90152 作者：Kahaner、 David.、Moler、 Cleve B.、Nash、 Stephen.、Forsythe、 George E. (George Elmer)、 1917- Computer methods for mathematical computations.、出版社：Englewood Cliffs, N.J. : Prentice Hall, 1988, c1989.		Numerical methods : a software approach 0 索取号：TP31/E90190 作者：Johnston、 R. L. (Robert L.)、出版社：New York : Wiley, 1982.
	Software prototyping, formal methods, and VDM 0 索取号：TP31/E90193 作者：Hekmatpour、 Sharam、 1961-、Ince、 D. (Darrel)、出版社：Wokingham, Eng. ; Reading, MA : Addison-Wesley, 1988.		Functional programming : application and implementation 0 索取号：TP31/E90148 作者：Henderson、 Peter、 1944-、出版社：Englewood Cliffs, N.J. : Prentice-Hall International, 1980.
	Parallel logic programming in PARLOG : the language and its implementation 0 索取号：TP31/E9067 作者：Gregory、 Steve.、出版社：Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., 1987.		Structured methods through COBOL 0 索取号：TP31/E9068 作者：Grauer、 Robert T.、 1945-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1983.
	Manual of immunological methods 0 索取号：Q939.91/E992 作者：出版社：Boca Raton, FL : CRC Press, c1999.		Formal methods of program verification and specification 0 索取号：TP31/E9076 作者：出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1982.
	Algorithmic skeletons : structured management of parallel computation 0 索取号：TP31/E90107 作者：Cole、 Murray.、出版社：London : Pitman ; Cambridge, Mass. : MIT Press, 1989.		Data structures and their implementation 0 索取号：TP31/E9085 作者：Baron、 Robert J.、Shapiro、 Linda G.、 joint author.、出版社：New York : Van Nostrand Reinhold Co., 1980.

	Introduction to numerical methods for parallel computers 0 索取号：TP31/E9031 作者：Schendel、 Udo.、出版社：Chichester : E. Horwood ; New York : Wiley Halsted Press, 1984.		Applied numerical methods for the microcomputer 0 索取号：TP31/E9034 作者：Shoup、 Terry E.、 1944-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1984.
	Numerical methods, software, and analysis 0 索取号：TP31/E90138 作者：Rice、 John Rischard.、出版社：New York : McGraw-Hill, 1983.		Program evaluation : methods and case studies 0 索取号：TP31/E90155.3 作者：Posavac、 Emil J.、Carey、 Raymond G.、出版社：Englewood Cliffs, N.J. : Prentice Hall, 1989.
	Fourth-generation languages 0 索取号：TP31/E9038 作者：Martin、 James、 1933-、Leben、 Joe.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1985		Object orientation : concepts, languages, databases, user interfaces 0 索取号：TP31/E995 作者：Khoshafian、 Setrag.、Abnous、 Razmik.、出版社：New York : Wiley, 1990.
	Numerical methods and software 0 索取号：TP31/E90152 作者：Kahaner、 David.、Moler、 Cleve B.、Nash、 Stephen.、Forsythe、 George E. (George Elmer)、 1917- Computer methods for mathematical computations.、出版社：Englewood Cliffs, N.J. : Prentice Hall, 1988, c1989.		Numerical methods : a software approach 0 索取号：TP31/E90190 作者：Johnston、 R. L. (Robert L.)、出版社：New York : Wiley, 1982.
	Software prototyping, formal methods, and VDM 0 索取号：TP31/E90193 作者：Hekmatpour、 Sharam、 1961-、Ince、 D. (Darrel)、出版社：Wokingham, Eng. ; Reading, MA : Addison-Wesley, 1988.		Functional programming : application and implementation 0 索取号：TP31/E90148 作者：Henderson、 Peter、 1944-、出版社：Englewood Cliffs, N.J. : Prentice-Hall International, 1980.
	Parallel logic programming in PARLOG : the language and its implementation 0 索取号：TP31/E9067 作者：Gregory、 Steve.、出版社：Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., 1987.		Structured methods through COBOL 0 索取号：TP31/E9068 作者：Grauer、 Robert T.、 1945-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1983.
	Manual of immunological methods 0 索取号：Q939.91/E992 作者：出版社：Boca Raton, FL : CRC Press, c1999.		Formal methods of program verification and specification 0 索取号：TP31/E9076 作者：出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1982.
	Algorithmic skeletons : structured management of parallel computation 0 索取号：TP31/E90107 作者：Cole、 Murray.、出版社：London : Pitman ; Cambridge, Mass. : MIT Press, 1989.		Data structures and their implementation 0 索取号：TP31/E9085 作者：Baron、 Robert J.、Shapiro、 Linda G.、 joint author.、出版社：New York : Van Nostrand Reinhold Co., 1980.